Russell, Tarski, Gödel: A Guide
نویسندگان
چکیده
منابع مشابه
Gödel, Tarski, Church, and the Liar
'What is a sadist? A sadist is a person who is kind to a masochist.' When I first heard this joke, I smiled, of course, realizing that the brutality of the sadist is, in fact, kindness to a masochist, which is the source of the comic effect being a(n apparent) contradiction resolved. What I did not realize was that I would have had another reason to smile: the kindness of the sadist tortures th...
متن کاملPart Two: Logical Consequence ≠ Necessary Truth Preservation 1.1 Meta-theoretic Argument #1: the Gödel/tarski Argument
I suspect that this paper is written in a way that doesn’t reflect how Field actually came to the views he has about the normativity of logic. It seems likely to me that first (i) Field convinced himself that the relation of logical consequence could not be (even co-extensional with) the relation of necessary truth preservation (NTP), for reasons he lays out in PART TWO of the paper, then (ii) ...
متن کاملA cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
It is well-known that intuitionistic propositional logic Int may be faithfully embedded not just into the modal logic S4 but also into the provability logics GL and Grz of Gödel-Löb and Grzegorczyk, and also that there is a similar embedding of Grz into GL. Known proofs of these faithfulness results are short but model-theoretic and thus non-constructive. Here a labelled sequent system Grz for ...
متن کاملGödel Homomorphisms as Gödel Modal Operators
We extend propositional Gödel logic by a unary modal operator, which we interpret as 5 Gödel homomorphisms, i.e. functions [0, 1] → [0, 1] that distribute over the interpretations of the 6 binary connectives of Gödel logic. We show that validity in the propositional fragment has a simple 7 superintuitionistic Hilbert-type proof system, which is not structurally complete, and that validity 8 doe...
متن کاملA Russell Measure for Modeling Environmental Performance
Data Envelopment Analysis (DEA) has been long employed as a popular methodology to evaluate the performance of various production activities with multiple inputs and outputs. However, an important issue is that the production process in the real world inevitably generates undesirable outputs (like wastes and pollutants) along with desirable outputs. Therefore, the undesirable outputs should be ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ciência e filosofia
سال: 1996
ISSN: 2447-9799,0103-5703
DOI: 10.11606/issn.2447-9799.cienciaefilosofi.1996.105312